#include<cstdio>
using namespace std;
typedef long long ll;
ll C[600][600],n,m;
const int mod = 1000007;

int main()
{
//	scanf("%d %d",&n,&m);
	C[0][0]=1;
	for(int i=1;i<=500;i++)
	{
		C[i][0]=C[i][i]=1;
		for(int j=1;j<i;j++)
		{
			C[i][j] = (C[i-1][j-1]+C[i-1][j])%mod;
		}
	}
	int t;
	scanf("%d",&t);
	for(int i=1;i<=t;i++)
	{
		int n,m,k,sum=0;
		scanf("%d%d%d",&n,&m,&k);
		for(int s=0;s<16;s++)
		{
			int b=0,r=n,c=m;
			if(s&1)
			{
				r--;b++;
			}
			if(s&2)
			{
				r--;b++;
			}
			if(s&4)
			{
				c--;b++;
			}
			if(s&8)
			{
				c--;b++;
			}
			if(b&1)
			{
				sum = (sum+mod-C[r*c][k])%mod;
			}
			else sum = (sum+mod+C[r*c][k])%mod;
		}printf("Case %d: %d\n",i,sum);	
	}
	
	return 0;
}